\begin{tabbing}
reset{-}ecl{-}tuple($A$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=let ${\it Ta}$,${\it ksa}$,${\it ia}$,${\it ga}$,${\it ha}$,${\it aa}$,${\it ea}$ = $A$ in \+
\\[0ex]$\langle$${\it Ta}$
\\[0ex]$,\,$${\it ksa}$
\\[0ex]$,\,$${\it ia}$
\\[0ex]$,\,$($\lambda$${\it k'}$,$s$,$v$,$x$. if ${\it ha}$(0,${\it ga}$(${\it k'}$,$s$,$v$,$x$))$\rightarrow$ ${\it ia}$ else ${\it ga}$(${\it k'}$,$s$,$v$,$x$) fi)
\\[0ex]$,\,$($\lambda$$n$,$x$. if $n$=$_{2}$0$\rightarrow$ false$_{2}$ else ${\it ha}$($n$,$x$) fi)
\\[0ex]$,\,$${\it aa}$
\\[0ex]$,\,$${\it ea}$$\rangle$
\-
\end{tabbing}